From 6c8790f62c3bc4ff3fa4451948be3406f5525c34 Mon Sep 17 00:00:00 2001
From: Jakub Steiner <jimmac@gmail.com>
Date: Fri, 10 Apr 2015 20:19:42 +0200
Subject: [PATCH] HighContrast: fix scrollbar slider 'padding'

---
 gtk/theme/HighContrast/_common.scss | 4 ++--
 gtk/theme/HighContrast/gtk.css      | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index f040a9f346..be48b72e5e 100644
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1380,7 +1380,7 @@ GtkTreeView.view.progressbar { //Progressbar in treeview cells
   &.trough { @extend .scrollbars-junction; }
   &.slider {
     border-radius: 20px;
-    border: 3px solid transparent; //margin :/
+    border: 5px solid transparentize(mix($bg_color, $fg_color, 50%),0.99); //margin :/
     background-color: mix($bg_color, $fg_color, 50%);
     &:backdrop, &:insensitive {
       background-color: mix($bg_color, $fg_color, 90%);
@@ -1392,7 +1392,7 @@ GtkTreeView.view.progressbar { //Progressbar in treeview cells
       background-color: $selected_bg_color;
     }
     &.fine-tune {
-      border-width: 5px;
+      border-width: 8px;
       &:prelight:active {
         background-color: $selected_bg_color;
       }
diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index 56118d1356..1f1a5fc226 100644
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -1594,7 +1594,7 @@ GtkTreeView.view.progressbar {
     border: none; }
   .scrollbar.slider {
     border-radius: 20px;
-    border: 3px solid transparent;
+    border: 5px solid rgba(127, 127, 127, 0.01);
     background-color: #7f7f7f; }
     .scrollbar.slider:backdrop, .scrollbar.slider:insensitive {
       background-color: #e5e5e5; }
@@ -1603,7 +1603,7 @@ GtkTreeView.view.progressbar {
     .scrollbar.slider:prelight:active {
       background-color: #000; }
     .scrollbar.slider.fine-tune {
-      border-width: 5px; }
+      border-width: 8px; }
       .scrollbar.slider.fine-tune:prelight:active {
         background-color: #000; }
 
-- 
2.30.2